Christian Skalka: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract)

Christian Skalka, Scott Smith, David Van Horn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 292 KB

english, 2005

2

Types and trace effects for object orientation

Christian Skalka

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 2.00 MB

english, 2008

3

Inductive machine learning for improved estimation of catchment-scale snow water equivalent

Buckingham, David, Skalka, Christian, Bongard, Josh

Journal:

Journal of Hydrology

Year:

2015

Language:

english

File:

PDF, 811 KB

english, 2015

4

Set Types and Applications

Christian Skalka, Scott Smith

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 927 KB

english, 2003

5

Syntactic Type Soundness for HM(X)

Christian Skalka, François Pottier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 732 KB

english, 2003

6

Static use-based object confinement

Christian Skalka, Scott Smith

Journal:

International Journal of Information Security

Year:

2005

Language:

english

File:

PDF, 1.09 MB

english, 2005

7

Type-specialized staged programming with process separation

Yu David Liu, Christian Skalka, Scott F. Smith

Journal:

Higher-Order and Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

8

[IEEE 2010 IEEE 7th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS) - San Francisco, CA, USA (2010.11.8-2010.11.12)] The 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems (IEEE MASS 2010) - SpartanRPC: Secure WSN middleware for cooperating domains

Chapin, Peter, Skalka, Christian

Year:

2010

Language:

english

File:

PDF, 147 KB

english, 2010

9

Self-Identifying Data for Fair Use

Chong, Stephen, Skalka, Christian, Vaughan, Jeffrey A.

Journal:

Journal of Data and Information Quality

Year:

2015

Language:

english

File:

PDF, 721 KB

english, 2015

10

SpartanRPC

Chapin, Peter, Skalka, Christian

Journal:

ACM Transactions on Information and System Security

Year:

2014

Language:

english

File:

PDF, 1.51 MB

english, 2014

11

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Trace effects and object orientation

Skalka, Christian

Year:

2005

Language:

english

File:

PDF, 222 KB

english, 2005

12

[ACM Press the 2004 workshop - Fairfax, Virginia (2004.10.29-2004.10.29)] Proceedings of the 2004 workshop on Secure web service - SWS '04 - Trust but verify

Skalka, Christian, Wang, X. Sean

Year:

2004

Language:

english

File:

PDF, 367 KB

english, 2004

13

[ACM Press the 2006 workshop - Ottawa, Ontario, Canada (2006.06.10-2006.06.10)] Proceedings of the 2006 workshop on Programming languages and analysis for security - PLAS '06 - Specifying distributed trust management in LolliMon

Polakow, Jeff, Skalka, Christian

Year:

2006

Language:

english

File:

PDF, 202 KB

english, 2006

14

[ACM Press the 12th international conference - Indianapolis, Indiana, USA (2013.10.27-2013.10.28)] Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13 - Scalaness/nesT

Chapin, Peter, Skalka, Christian, Smith, Scott, Watson, Michael

Year:

2013

Language:

english

File:

PDF, 1014 KB

english, 2013

15

Scalaness/nesT

Chapin, Peter, Skalka, Christian, Smith, Scott, Watson, Michael

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 1014 KB

english, 2014

16

A systematic approach to static access control

Pottier, François, Skalka, Christian, Smith, Scott

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 378 KB

english, 2005

17

[ACM Press the 2005 ACM workshop - Fairfax, VA, USA (2005.11.11-2005.11.11)] Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 - Risk assessment in distributed authorization

Chapin, Peter, Skalka, Christian, Wang, X. Sean

Year:

2005

Language:

english

File:

PDF, 211 KB

english, 2005

18

Authorization in trust management

Chapin, Peter C., Skalka, Christian, Wang, X. Sean

Journal:

ACM Computing Surveys

Year:

2008

Language:

english

File:

PDF, 436 KB

english, 2008

19

[ACM Press the 9th ACM/IEEE International Conference - Stockholm, Sweden (2010.04.12-2010.04.16)] Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks - IPSN '10 - Self-identifying sensor data

Chong, Stephen, Skalka, Christian, Vaughan, Jeffrey A.

Year:

2010

Language:

english

File:

PDF, 594 KB

english, 2010

20

[ACM Press the 2015 - Madrid, Spain (2015.07.11-2015.07.15)] Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15 - A Genetic Programming Approach to Cost-Sensitive Control in Resource Constrained Sensor Systems

Yousefi Zowj, Afsoon, Bongard, Josh C., Skalka, Christian

Year:

2015

Language:

english

File:

PDF, 900 KB

english, 2015

21

[ACM Press the 2009 ACM SIGPLAN workshop - Edinburgh, Scotland (2009.08.30-2009.08.30)] Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming - WGP '09 - Type-specialized staged programming with process separation

Liu, Yu David, Skalka, Christian, Smith, Scott

Year:

2009

Language:

english

File:

PDF, 443 KB

english, 2009

22

[ACM Press the 9th ACM SIGPLAN international conference - Wroclaw, Poland (2007.07.14-2007.07.16)] Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 - Type safe dynamic linking for JVM access control

Skalka, Christian

Year:

2007

Language:

english

File:

PDF, 264 KB

english, 2007

23

Types and trace effects of higher order programs

SKALKA, CHRISTIAN, SMITH, SCOTT, VAN HORN, DAVID

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 437 KB

english, 2008

24

Tracking Post-trauma Psychopathology Using Mobile Applications: a Usability Study

Price, Matthew, van Stolk-Cooke, Katherine, Ward, Hannah L., O’Keefe, Michael, Gratton, Jennifer, Skalka, Christian, Freeman, Kalev

Journal:

Journal of Technology in Behavioral Science

Year:

2017

Language:

english

File:

PDF, 375 KB

english, 2017

25

[ACM Press the 22nd ACM - Indianapolis, Indiana, USA (2017.06.21-2017.06.23)] Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies - SACMAT '17 Abstracts - On Risk in Access Control Enforcement

Petracca, Giuseppe, Capobianco, Frank, Skalka, Christian, Jaeger, Trent

Year:

2017

Language:

english

File:

PDF, 1.35 MB

english, 2017

26

[IEEE 2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS) - Beijing, China (2017.5.18-2017.5.19)] 2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS) - Life on the Edge: Unraveling Policies into Configurations

Basu, Shrutarshi, Foster, Nate, Hojjat, Hossein, Palacharla, Paparao, Skalka, Christian, Wang, Xi

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

27

Risk management for distributed authorization

Skalka, Christian, Wang, X. Sean, Chapin, Peter

Journal:

Journal of Computer Security

Year:

2007

Language:

english

File:

PDF, 260 KB

english, 2007

28

Implementing assessments via mobile during the acute posttrauma period: feasibility, acceptability and strategies to improve response rates

Price, Matthew, Van Stolk-Cooke, Katherine, Legrand, Alison C., Brier, Zoe M. F., Ward, Hannah L., Connor, Julie P., Gratton, Jennifer, Freeman, Kalev, Skalka, Christian

Journal:

European Journal of Psychotraumatology

Year:

2018

File:

PDF, 1.05 MB

2018

29

The short‐term dynamics of posttraumatic stress disorder symptoms during the acute posttrauma period

Price, Matthew, Legrand, Alison C., Brier, Zoe M. F., Gratton, Jennifer, Skalka, Christian

Journal:

Depression and Anxiety

Year:

2019

Language:

english

File:

PDF, 552 KB

english, 2019

30

The short‐term dynamics of posttraumatic stress disorder symptoms during the acute posttrauma period

Price, Matthew, Legrand, Alison C., Brier, Zoe M. F., Gratton, Jennifer, Skalka, Christian

Journal:

Depression and Anxiety

Year:

2019

File:

PDF, 552 KB

2019

31

Maybe tainted data: Theory and a case study

Skalka, Christian, Amir-Mohammadian, Sepehr, Clark, Samuel

Journal:

Journal of Computer Security

Year:

2020

File:

PDF, 469 KB

2020

32

[IEEE 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - Boston, MA, USA (2020.6.22-2020.6.26)] 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - Types and Abstract Interpretation for Authorization Hook Advice

Skalka, Christian, Darais, David, Jaeger, Trent, Capobianco, Frank

Year:

2020

File:

PDF, 281 KB

2020